Linear groups and computation

Funding: A. S. Detinko is supported by a Marie Skłodowska-Curie Individual Fellowship grant (Horizon 2020, EU Framework Programme for Research and Innovation).We present an exposition of our ongoing project in a new area of applicable mathematics: practical computation with finitely generated linear groups over infinite fields. Methodology and algorithms available for practical computation in this class of groups are surveyed. We illustrate the solution of hard mathematical problems by computer experimentation. Possible avenues for further progress are discussed.PostprintPeer reviewe

Algebra, matrices, and computers

What part does algebra play in representing the real world abstractly? How can algebra be used to solve hard mathematical problems with the aid of modern computing technology? We provide answers to these questions that rely on the theory of matrix groups and new methods for handling matrix groups in a computer

Algebra, matrices, and computers

What part does algebra play in representing the real world abstractly? How can algebra be used to solve hard mathematical problems with the aid of modern computing technology? We provide answers to these questions that rely on the theory of matrix groups and new methods for handling matrix groups in a computer

Algorithms for arithmetic groups: a practical approach

Non UBCUnreviewedAuthor affiliation: National Univeristy of Ireland GalwayOthe

Zariski density and computing with infinite linear groups

We present recent developments in a novel domain of computational group theory: computing with infinite linear groups. Special consideration is given to algorithms for Zariski dense subgroups. This includes a computer realization of the strong approximation theorem, and algorithms for arithmetic groups. We illustrate applications of our methods to the solution of problems further afield by computer experimentation. This is joint work with Dane Flannery and Alexander Hulpke.Non UBCUnreviewedAuthor affiliation: University of HullOthe